matrix sylvester's theorem